에르블랑 기초의 자세한 의미

에르블랑 기초 Herbrand基礎 :

논리학에서 명제 논리를 확장한 변수를 사용하고 변수를 갖는 함수를 허용하도록 한 술어 논리를 분해한 것. 모든 n차 술어 논리 명제 Pn이 Pn(T₁, …., Tn) 형식을 갖는 상수 원자의 집합이다.

어휘 혼종어 정보·통신


다른 언어 표현: 영어 Herbrand base
비슷한 의미의 단어: 허브랜드 기초(Herbrand基礎)
에르블랑 기초 뜻

초성이 같은 단어들

(총 1개) : 에르블랑 기초

실전 끝말 잇기

에로 끝나는 단어 (691개) : 모에, 거무하에, 식기뚜에, 조닐에, 넝에, 민물장에, 빙에, 단껍에, 스코트라알로에, 조에, 두에, 장상에, 나티에, 개암누에, 인누에, 곽주에, 울에, 지에, 르베리에, 무에리수에, 숭에, 가타마에, 갈원반누에, 앙근에, 여름가을누에, 라우에, 지풀에, 애기검은소경등에, 기에, 고소에, 곡젱에, 코아틀리쿠에, 고에, 천에, 숫쉐멍에, 갈고등에, 뜻밖에, 큰재니등에, 세잠누에, 르샤틀리에, 대반에, 댐반에, 진꽃등에, 큰개암나무누에, 이차이피에, 어차어피에, 알로에, 쇠에, 왕쇠등에, 외다리방에, 행에, 원누에, 벨기에, 말방에, 곽중에, 유에, 상들리에, 고도에, 우에, 메티에 ...
초로 시작하는 단어 (3,092개) : 초, 초가, 초가 건조법, 초가락, 초가량, 초가량하다, 초가리 기와, 초가마가리, 초가막, 초가막살이, 초가망석, 초가벌진, 초가변 영역, 초가복, 초가삼간, 초가삼간 다 타도 빈대 죽는 것만 시원하다, 초가성성, 초가슭, 초가실, 초가싥, 초가을, 초가을용, 초가읅, 초가이엉, 초가이영, 초가장, 초가지, 초가지붕, 초가집, 초가집 대교(待敎)가 없고 물 건너 대교가 없고 얽은 대교가 없다, 초가청 전신, 초가청 주파수, 초가치 마케팅, 초각, 초각박안경기, 초각하다, 초간, 초간단요리, 초간단하다, 초간본, 초간일기, 초간장, 초간택, 초간택하다, 초간편, 초간편배급, 초간편요리, 초간편피시, 초간편하다, 초간하다, 초간히, 초갈, 초갈근, 초갈이, 초갉, 초감각, 초감각 인지, 초감각적, 초감각적 지각, 초감도 계전기 ...

시작 또는 끝이 같은 단어들

에로 시작하는 단어 (4,048개) : 에, 에가, 에각, 에간, 에갓집, 에거시미터, 에거시험, 에게, 에게다, 에게다가, 에게로, 에게 문명, 에게 미술, 에게서, 에게해, 에게해 건축, 에결, 에계, 에계계, 에고, 에고그램, 에고노빈, 에고메트린, 에고스테롤, 에고스테린, 에고이스트, 에고이즘, 에고집, 에고집재이, 에고집쟁이, 에고타민, 에고티즘, 에고포니, 에고 퓨처리즘, 에골나다, 에골목, 에골수, 에곬, 에과, 에구, 에구구, 에구다, 에구데구, 에구데구하다, 에구머니, 에구머니나, 에구부러지다, 에구붓, 에구붓이, 에구붓하다, 에구에, 에구에구, 에국, 에국말, 에굳다, 에굽다, 에궁운 탈춤, 에귀유, 에그, 에그그 ...
초로 끝나는 단어 (1,436개) : 자전초, 연과초, 유발형 잡초, 선학초, 시발초, 가시쓴감초, 이방향 배근 확대 기초, 월년생 목초, 한라사초, 물망초, 공초, 발효식초, 보개초, 고원초, 죽사초, 각형 압축 건초, 문전초, 취어초, 좀골담초, 묘초, 불꽃 제초, 이영초, 판기초, 기생 잡초, 나노초, 판축 기초, 이초, 천초, 운란초, 술지게미초, 밀리초, 아기초, 전복초, 스페인감초, 사다리 기초, 채초, 청구의 기초, 글초, 달초, 쌍잎난초, 약해초, 자반풍령초, 민숲이삭사초, 인공 어초, 쌍보초, 신근초, 원초, 포초, 다주식 기초, 민곱슬사초, 연속 확대 기초, 고상초, 함북사초, 첨초, 장대석 기초, 회색사초, 사이초, 민망초, 질풍경초, 나도그늘사초 ...

🦉 이런 동물 속담도 있었네?